; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = or i64 489433072, %"SymVar_0"
  %".5" = zext i8 55 to i64
  %".6" = and i64 %".5", 63
  %".7" = lshr i64 %".4", %".6"
  %".8" = or i64 489433072, %"SymVar_0"
  %".9" = zext i8 9 to i64
  %".10" = and i64 %".9", 63
  %".11" = shl i64 %".8", %".10"
  %".12" = or i64 %".7", %".11"
  %".13" = zext i8 51 to i64
  %".14" = and i64 %".13", 63
  %".15" = lshr i64 %".12", %".14"
  %".16" = zext i8 13 to i64
  %".17" = and i64 %".16", 63
  %".18" = shl i64 %".12", %".17"
  %".19" = or i64 %".15", %".18"
  %".20" = or i64 %".19", %"SymVar_0"
  %".21" = zext i8 1 to i64
  %".22" = and i64 %".21", 63
  %".23" = lshr i64 %".20", %".22"
  %".24" = and i64 15, %".23"
  %".25" = or i64 1, %".24"
  %".26" = sub i64 64, %".25"
  %".27" = trunc i64 %".26" to i8
  %".28" = zext i8 %".27" to i64
  %".29" = and i64 %".28", 63
  %".30" = lshr i64 %".12", %".29"
  %".31" = zext i8 1 to i64
  %".32" = and i64 %".31", 63
  %".33" = lshr i64 %".20", %".32"
  %".34" = and i64 15, %".33"
  %".35" = or i64 1, %".34"
  %".36" = trunc i64 %".35" to i32
  %".37" = zext i32 %".36" to i64
  %".38" = trunc i64 %".37" to i8
  %".39" = zext i8 %".38" to i64
  %".40" = and i64 %".39", 63
  %".41" = shl i64 %".12", %".40"
  %".42" = or i64 %".30", %".41"
  %".43" = sext i64 %".20" to i128
  %".44" = add i64 104868834, %"SymVar_0"
  %".45" = sext i64 %".44" to i128
  %".46" = mul i128 %".43", %".45"
  %".47" = trunc i128 %".46" to i64
  %".48" = sext i64 %".47" to i128
  %".49" = sext i64 1004737041 to i128
  %".50" = mul i128 %".48", %".49"
  %".51" = trunc i128 %".50" to i64
  %".52" = sext i64 %".51" to i128
  %".53" = or i64 893657663, %"SymVar_0"
  %".54" = sext i64 %".53" to i128
  %".55" = mul i128 %".52", %".54"
  %".56" = trunc i128 %".55" to i64
  %".57" = and i64 31, %".56"
  %".58" = zext i8 4 to i64
  %".59" = and i64 %".58", 63
  %".60" = shl i64 %".57", %".59"
  %".61" = or i64 %".60", %".44"
  %".62" = zext i8 3 to i64
  %".63" = and i64 %".62", 63
  %".64" = lshr i64 %".56", %".63"
  %".65" = and i64 7, %".64"
  %".66" = or i64 1, %".65"
  %".67" = trunc i64 %".66" to i8
  %".68" = zext i8 %".67" to i64
  %".69" = and i64 %".68", 63
  %".70" = lshr i64 %".61", %".69"
  %".71" = sub i64 %".42", %".70"
  %".72" = xor i64 %".70", %".71"
  %".73" = xor i64 %".42", %".72"
  %".74" = xor i64 %".42", %".71"
  %".75" = xor i64 %".42", %".70"
  %".76" = and i64 %".74", %".75"
  %".77" = xor i64 %".73", %".76"
  %".78" = lshr i64 %".77", 63
  %".79" = trunc i64 %".78" to i1
  %".80" = icmp eq i64 %".71", 0
  br i1 %".80", label %".3.if", label %".3.else"
.3.if:
  br label %".3.endif"
.3.else:
  br label %".3.endif"
.3.endif:
  %".84" = phi i1 [1, %".3.if"], [0, %".3.else"]
  %".85" = or i1 %".79", %".84"
  %".86" = icmp eq i1 %".85", 1
  br i1 %".86", label %".3.endif.if", label %".3.endif.else"
.3.endif.if:
  br label %".3.endif.endif"
.3.endif.else:
  br label %".3.endif.endif"
.3.endif.endif:
  %".90" = phi i8 [1, %".3.endif.if"], [0, %".3.endif.else"]
  %".91" = zext i8 %".90" to i64
  %".92" = lshr i64 %".70", 8
  %".93" = trunc i64 %".92" to i56
  %".94" = zext i56 %".93" to i64
  %".95" = shl i64 %".94", 8
  %".96" = or i64 %".91", %".95"
  %".97" = trunc i64 %".96" to i8
  %".98" = zext i8 %".97" to i32
  %".99" = zext i32 %".98" to i64
  %".100" = trunc i64 %".99" to i32
  %".101" = zext i32 %".100" to i64
  %".102" = trunc i64 %".101" to i32
  %".103" = zext i32 %".102" to i64
  %".104" = trunc i64 %".103" to i32
  %".105" = zext i32 %".104" to i64
  %".106" = trunc i64 %".105" to i32
  %".107" = trunc i64 %".105" to i32
  %".108" = and i32 %".106", %".107"
  %".109" = icmp eq i32 %".108", 0
  br i1 %".109", label %".3.endif.endif.if", label %".3.endif.endif.else"
.3.endif.endif.if:
  br label %".3.endif.endif.endif"
.3.endif.endif.else:
  br label %".3.endif.endif.endif"
.3.endif.endif.endif:
  %".113" = phi i1 [1, %".3.endif.endif.if"], [0, %".3.endif.endif.else"]
  %".114" = icmp eq i1 %".113", 1
  br i1 %".114", label %".3.endif.endif.endif.if", label %".3.endif.endif.endif.else"
.3.endif.endif.endif.if:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.else:
  br label %".3.endif.endif.endif.endif"
.3.endif.endif.endif.endif:
  %".118" = phi i1 [1, %".3.endif.endif.endif.if"], [0, %".3.endif.endif.endif.else"]
  br i1 %".118", label %".3.endif.endif.endif.endif.if", label %".3.endif.endif.endif.endif.else"
.3.endif.endif.endif.endif.if:
  %".120" = or i64 489433072, %"SymVar_0"
  %".121" = zext i8 55 to i64
  %".122" = and i64 %".121", 63
  %".123" = lshr i64 %".120", %".122"
  %".124" = or i64 489433072, %"SymVar_0"
  %".125" = zext i8 9 to i64
  %".126" = and i64 %".125", 63
  %".127" = shl i64 %".124", %".126"
  %".128" = or i64 %".123", %".127"
  %".129" = zext i8 51 to i64
  %".130" = and i64 %".129", 63
  %".131" = lshr i64 %".128", %".130"
  %".132" = zext i8 13 to i64
  %".133" = and i64 %".132", 63
  %".134" = shl i64 %".128", %".133"
  %".135" = or i64 %".131", %".134"
  %".136" = or i64 %".135", %"SymVar_0"
  %".137" = sext i64 %".136" to i128
  %".138" = add i64 104868834, %"SymVar_0"
  %".139" = sext i64 %".138" to i128
  %".140" = mul i128 %".137", %".139"
  %".141" = trunc i128 %".140" to i64
  %".142" = sext i64 %".141" to i128
  %".143" = sext i64 1004737041 to i128
  %".144" = mul i128 %".142", %".143"
  %".145" = trunc i128 %".144" to i64
  %".146" = sext i64 %".145" to i128
  %".147" = or i64 893657663, %"SymVar_0"
  %".148" = sext i64 %".147" to i128
  %".149" = mul i128 %".146", %".148"
  %".150" = trunc i128 %".149" to i64
  %".151" = add i64 916080512, %".150"
  %".152" = sext i64 %".151" to i128
  %".153" = and i64 31, %".150"
  %".154" = zext i8 4 to i64
  %".155" = and i64 %".154", 63
  %".156" = shl i64 %".153", %".155"
  %".157" = or i64 %".156", %".138"
  %".158" = sext i64 %".157" to i128
  %".159" = mul i128 %".152", %".158"
  %".160" = trunc i128 %".159" to i64
  %".161" = sext i64 %".160" to i128
  %".162" = and i64 15, %".136"
  %".163" = zext i8 2 to i64
  %".164" = and i64 %".163", 63
  %".165" = shl i64 %".162", %".164"
  %".166" = or i64 %".165", %".136"
  %".167" = zext i8 3 to i64
  %".168" = and i64 %".167", 63
  %".169" = lshr i64 %".166", %".168"
  %".170" = and i64 15, %".169"
  %".171" = or i64 1, %".170"
  %".172" = sub i64 64, %".171"
  %".173" = trunc i64 %".172" to i8
  %".174" = zext i8 %".173" to i64
  %".175" = and i64 %".174", 63
  %".176" = lshr i64 %".128", %".175"
  %".177" = zext i8 3 to i64
  %".178" = and i64 %".177", 63
  %".179" = lshr i64 %".166", %".178"
  %".180" = and i64 15, %".179"
  %".181" = or i64 1, %".180"
  %".182" = trunc i64 %".181" to i32
  %".183" = zext i32 %".182" to i64
  %".184" = trunc i64 %".183" to i8
  %".185" = zext i8 %".184" to i64
  %".186" = and i64 %".185", 63
  %".187" = shl i64 %".128", %".186"
  %".188" = or i64 %".176", %".187"
  %".189" = sext i64 %".188" to i128
  %".190" = mul i128 %".161", %".189"
  %".191" = trunc i128 %".190" to i64
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.else:
  %".193" = or i64 489433072, %"SymVar_0"
  %".194" = zext i8 55 to i64
  %".195" = and i64 %".194", 63
  %".196" = lshr i64 %".193", %".195"
  %".197" = or i64 489433072, %"SymVar_0"
  %".198" = zext i8 9 to i64
  %".199" = and i64 %".198", 63
  %".200" = shl i64 %".197", %".199"
  %".201" = or i64 %".196", %".200"
  %".202" = zext i8 51 to i64
  %".203" = and i64 %".202", 63
  %".204" = lshr i64 %".201", %".203"
  %".205" = zext i8 13 to i64
  %".206" = and i64 %".205", 63
  %".207" = shl i64 %".201", %".206"
  %".208" = or i64 %".204", %".207"
  %".209" = or i64 %".208", %"SymVar_0"
  %".210" = sext i64 %".209" to i128
  %".211" = add i64 104868834, %"SymVar_0"
  %".212" = sext i64 %".211" to i128
  %".213" = mul i128 %".210", %".212"
  %".214" = trunc i128 %".213" to i64
  %".215" = sext i64 %".214" to i128
  %".216" = sext i64 1004737041 to i128
  %".217" = mul i128 %".215", %".216"
  %".218" = trunc i128 %".217" to i64
  %".219" = sext i64 %".218" to i128
  %".220" = or i64 893657663, %"SymVar_0"
  %".221" = sext i64 %".220" to i128
  %".222" = mul i128 %".219", %".221"
  %".223" = trunc i128 %".222" to i64
  %".224" = add i64 916080512, %".223"
  %".225" = sext i64 %".224" to i128
  %".226" = and i64 31, %".223"
  %".227" = zext i8 4 to i64
  %".228" = and i64 %".227", 63
  %".229" = shl i64 %".226", %".228"
  %".230" = or i64 %".229", %".211"
  %".231" = sext i64 %".230" to i128
  %".232" = mul i128 %".225", %".231"
  %".233" = trunc i128 %".232" to i64
  %".234" = sext i64 %".233" to i128
  %".235" = zext i64 %".223" to i128
  %".236" = zext i64 0 to i128
  %".237" = shl i128 %".236", 64
  %".238" = or i128 %".235", %".237"
  %".239" = zext i64 8 to i128
  %".240" = udiv i128 %".238", %".239"
  %".241" = trunc i128 %".240" to i64
  %".242" = lshr i64 %".241", 32
  %".243" = trunc i64 %".242" to i8
  %".244" = zext i8 %".243" to i32
  %".245" = zext i32 %".244" to i64
  %".246" = trunc i64 %".245" to i8
  %".247" = zext i8 %".246" to i32
  %".248" = zext i32 %".247" to i64
  %".249" = trunc i64 %".248" to i8
  %".250" = zext i8 %".249" to i32
  %".251" = zext i32 %".250" to i64
  %".252" = trunc i64 %".251" to i8
  %".253" = zext i8 %".252" to i32
  %".254" = zext i32 %".253" to i64
  %".255" = trunc i64 %".254" to i8
  %".256" = zext i8 %".255" to i32
  %".257" = zext i32 %".256" to i64
  %".258" = trunc i64 %".257" to i8
  %".259" = zext i8 %".258" to i32
  %".260" = zext i32 %".259" to i64
  %".261" = trunc i64 %".260" to i8
  %".262" = zext i8 %".261" to i32
  %".263" = zext i32 %".262" to i64
  %".264" = trunc i64 %".263" to i8
  %".265" = zext i8 %".264" to i32
  %".266" = zext i32 %".265" to i64
  %".267" = trunc i64 %".266" to i8
  %".268" = zext i8 %".267" to i64
  %".269" = lshr i64 %".241", 8
  %".270" = trunc i64 %".269" to i8
  %".271" = zext i8 %".270" to i64
  %".272" = shl i64 %".271", 8
  %".273" = or i64 %".268", %".272"
  %".274" = lshr i64 %".241", 16
  %".275" = trunc i64 %".274" to i8
  %".276" = zext i8 %".275" to i64
  %".277" = shl i64 %".276", 16
  %".278" = or i64 %".273", %".277"
  %".279" = lshr i64 %".241", 24
  %".280" = trunc i64 %".279" to i8
  %".281" = zext i8 %".280" to i64
  %".282" = shl i64 %".281", 24
  %".283" = or i64 %".278", %".282"
  %".284" = trunc i64 %".241" to i8
  %".285" = zext i8 %".284" to i32
  %".286" = zext i32 %".285" to i64
  %".287" = trunc i64 %".286" to i8
  %".288" = zext i8 %".287" to i32
  %".289" = zext i32 %".288" to i64
  %".290" = trunc i64 %".289" to i8
  %".291" = zext i8 %".290" to i32
  %".292" = zext i32 %".291" to i64
  %".293" = trunc i64 %".292" to i8
  %".294" = zext i8 %".293" to i32
  %".295" = zext i32 %".294" to i64
  %".296" = trunc i64 %".295" to i8
  %".297" = zext i8 %".296" to i64
  %".298" = shl i64 %".297", 32
  %".299" = or i64 %".283", %".298"
  %".300" = lshr i64 %".241", 40
  %".301" = trunc i64 %".300" to i8
  %".302" = zext i8 %".301" to i64
  %".303" = shl i64 %".302", 40
  %".304" = or i64 %".299", %".303"
  %".305" = lshr i64 %".241", 48
  %".306" = trunc i64 %".305" to i8
  %".307" = zext i8 %".306" to i64
  %".308" = shl i64 %".307", 48
  %".309" = or i64 %".304", %".308"
  %".310" = lshr i64 %".241", 56
  %".311" = trunc i64 %".310" to i8
  %".312" = zext i8 %".311" to i64
  %".313" = shl i64 %".312", 56
  %".314" = or i64 %".309", %".313"
  %".315" = lshr i64 %".209", 56
  %".316" = trunc i64 %".315" to i8
  %".317" = zext i8 %".316" to i32
  %".318" = zext i32 %".317" to i64
  %".319" = trunc i64 %".318" to i8
  %".320" = zext i8 %".319" to i32
  %".321" = zext i32 %".320" to i64
  %".322" = trunc i64 %".321" to i8
  %".323" = zext i8 %".322" to i32
  %".324" = zext i32 %".323" to i64
  %".325" = trunc i64 %".324" to i8
  %".326" = zext i8 %".325" to i32
  %".327" = zext i32 %".326" to i64
  %".328" = trunc i64 %".327" to i8
  %".329" = zext i8 %".328" to i32
  %".330" = zext i32 %".329" to i64
  %".331" = trunc i64 %".330" to i8
  %".332" = zext i8 %".331" to i32
  %".333" = zext i32 %".332" to i64
  %".334" = trunc i64 %".333" to i8
  %".335" = zext i8 %".334" to i32
  %".336" = zext i32 %".335" to i64
  %".337" = trunc i64 %".336" to i8
  %".338" = zext i8 %".337" to i32
  %".339" = zext i32 %".338" to i64
  %".340" = trunc i64 %".339" to i8
  %".341" = zext i8 %".340" to i64
  %".342" = lshr i64 %".209", 8
  %".343" = trunc i64 %".342" to i8
  %".344" = zext i8 %".343" to i64
  %".345" = shl i64 %".344", 8
  %".346" = or i64 %".341", %".345"
  %".347" = lshr i64 %".209", 40
  %".348" = trunc i64 %".347" to i8
  %".349" = zext i8 %".348" to i32
  %".350" = zext i32 %".349" to i64
  %".351" = trunc i64 %".350" to i8
  %".352" = zext i8 %".351" to i32
  %".353" = zext i32 %".352" to i64
  %".354" = trunc i64 %".353" to i8
  %".355" = zext i8 %".354" to i32
  %".356" = zext i32 %".355" to i64
  %".357" = trunc i64 %".356" to i8
  %".358" = zext i8 %".357" to i32
  %".359" = zext i32 %".358" to i64
  %".360" = trunc i64 %".359" to i8
  %".361" = zext i8 %".360" to i64
  %".362" = shl i64 %".361", 16
  %".363" = or i64 %".346", %".362"
  %".364" = lshr i64 %".209", 24
  %".365" = trunc i64 %".364" to i8
  %".366" = zext i8 %".365" to i64
  %".367" = shl i64 %".366", 24
  %".368" = or i64 %".363", %".367"
  %".369" = lshr i64 %".209", 32
  %".370" = trunc i64 %".369" to i8
  %".371" = zext i8 %".370" to i64
  %".372" = shl i64 %".371", 32
  %".373" = or i64 %".368", %".372"
  %".374" = lshr i64 %".209", 16
  %".375" = trunc i64 %".374" to i8
  %".376" = zext i8 %".375" to i32
  %".377" = zext i32 %".376" to i64
  %".378" = trunc i64 %".377" to i8
  %".379" = zext i8 %".378" to i32
  %".380" = zext i32 %".379" to i64
  %".381" = trunc i64 %".380" to i8
  %".382" = zext i8 %".381" to i32
  %".383" = zext i32 %".382" to i64
  %".384" = trunc i64 %".383" to i8
  %".385" = zext i8 %".384" to i32
  %".386" = zext i32 %".385" to i64
  %".387" = trunc i64 %".386" to i8
  %".388" = zext i8 %".387" to i32
  %".389" = zext i32 %".388" to i64
  %".390" = trunc i64 %".389" to i8
  %".391" = zext i8 %".390" to i32
  %".392" = zext i32 %".391" to i64
  %".393" = trunc i64 %".392" to i8
  %".394" = zext i8 %".393" to i32
  %".395" = zext i32 %".394" to i64
  %".396" = trunc i64 %".395" to i8
  %".397" = zext i8 %".396" to i32
  %".398" = zext i32 %".397" to i64
  %".399" = trunc i64 %".398" to i8
  %".400" = zext i8 %".399" to i64
  %".401" = shl i64 %".400", 40
  %".402" = or i64 %".373", %".401"
  %".403" = lshr i64 %".209", 48
  %".404" = trunc i64 %".403" to i8
  %".405" = zext i8 %".404" to i64
  %".406" = shl i64 %".405", 48
  %".407" = or i64 %".402", %".406"
  %".408" = trunc i64 %".209" to i8
  %".409" = zext i8 %".408" to i32
  %".410" = zext i32 %".409" to i64
  %".411" = trunc i64 %".410" to i8
  %".412" = zext i8 %".411" to i32
  %".413" = zext i32 %".412" to i64
  %".414" = trunc i64 %".413" to i8
  %".415" = zext i8 %".414" to i32
  %".416" = zext i32 %".415" to i64
  %".417" = trunc i64 %".416" to i8
  %".418" = zext i8 %".417" to i32
  %".419" = zext i32 %".418" to i64
  %".420" = trunc i64 %".419" to i8
  %".421" = zext i8 %".420" to i64
  %".422" = shl i64 %".421", 56
  %".423" = or i64 %".407", %".422"
  %".424" = zext i8 3 to i64
  %".425" = and i64 %".424", 63
  %".426" = lshr i64 %".423", %".425"
  %".427" = and i64 15, %".426"
  %".428" = or i64 1, %".427"
  %".429" = sub i64 64, %".428"
  %".430" = trunc i64 %".429" to i8
  %".431" = zext i8 %".430" to i64
  %".432" = and i64 %".431", 63
  %".433" = lshr i64 %".314", %".432"
  %".434" = zext i8 %".267" to i64
  %".435" = zext i8 %".270" to i64
  %".436" = shl i64 %".435", 8
  %".437" = or i64 %".434", %".436"
  %".438" = zext i8 %".275" to i64
  %".439" = shl i64 %".438", 16
  %".440" = or i64 %".437", %".439"
  %".441" = zext i8 %".280" to i64
  %".442" = shl i64 %".441", 24
  %".443" = or i64 %".440", %".442"
  %".444" = zext i8 %".296" to i64
  %".445" = shl i64 %".444", 32
  %".446" = or i64 %".443", %".445"
  %".447" = zext i8 %".301" to i64
  %".448" = shl i64 %".447", 40
  %".449" = or i64 %".446", %".448"
  %".450" = zext i8 %".306" to i64
  %".451" = shl i64 %".450", 48
  %".452" = or i64 %".449", %".451"
  %".453" = zext i8 %".311" to i64
  %".454" = shl i64 %".453", 56
  %".455" = or i64 %".452", %".454"
  %".456" = zext i8 %".340" to i64
  %".457" = zext i8 %".343" to i64
  %".458" = shl i64 %".457", 8
  %".459" = or i64 %".456", %".458"
  %".460" = zext i8 %".360" to i64
  %".461" = shl i64 %".460", 16
  %".462" = or i64 %".459", %".461"
  %".463" = zext i8 %".365" to i64
  %".464" = shl i64 %".463", 24
  %".465" = or i64 %".462", %".464"
  %".466" = zext i8 %".370" to i64
  %".467" = shl i64 %".466", 32
  %".468" = or i64 %".465", %".467"
  %".469" = zext i8 %".399" to i64
  %".470" = shl i64 %".469", 40
  %".471" = or i64 %".468", %".470"
  %".472" = zext i8 %".404" to i64
  %".473" = shl i64 %".472", 48
  %".474" = or i64 %".471", %".473"
  %".475" = zext i8 %".420" to i64
  %".476" = shl i64 %".475", 56
  %".477" = or i64 %".474", %".476"
  %".478" = zext i8 3 to i64
  %".479" = and i64 %".478", 63
  %".480" = lshr i64 %".477", %".479"
  %".481" = and i64 15, %".480"
  %".482" = or i64 1, %".481"
  %".483" = trunc i64 %".482" to i32
  %".484" = zext i32 %".483" to i64
  %".485" = trunc i64 %".484" to i8
  %".486" = zext i8 %".485" to i64
  %".487" = and i64 %".486", 63
  %".488" = shl i64 %".455", %".487"
  %".489" = or i64 %".433", %".488"
  %".490" = sext i64 %".489" to i128
  %".491" = mul i128 %".234", %".490"
  %".492" = trunc i128 %".491" to i64
  br label %".3.endif.endif.endif.endif.endif"
.3.endif.endif.endif.endif.endif:
  %".494" = phi i64 [%".191", %".3.endif.endif.endif.endif.if"], [%".492", %".3.endif.endif.endif.endif.else"]
  ret i64 %".494"
}
